哲思之窗 | 逻辑学读书会：形式论辩文献选读
基本介绍
论辩是日常生活中的常见行为。近代人工智能和逻辑学的发展让我们得以从形式的角度审视论辩，这些发展成果统称为形式论辩。Phan Minh Dung在1995年提出的抽象论辩框架是如今知识表示与推理领域的核心。抽象论辩框架的各种性质、多种变体得到了充分的研究，并在价值推理、法律推理、自动决策等方面均有应用。
本期逻辑学读书会将会阅读形式论辩相关文献，希望通过对论文的阅读和讨论，分享科研的乐趣，提升对形式论辩这个研究领域的理解，提升学术写作能力，欢迎感兴趣的同学参加。
具有一些数学知识和数学写作能力将有助于文献的阅读，参与者可以在参加活动过程中培养这种能力。以下为阅读文献过程中会遇到的语句的例子：
Definition. An abstract argumentation framework F is a pair (A, R), where A is a set of arguments and R is a binary relation on R. If (a, b) ∈ R, we say that a attacks b.
Definition. Let S be a set of arguments and a an argument. We say that S is conflict-free, if there does not exist a, b in S such that a attacks b. We say that S defends a if for any argument b that attacks a, there exists an argument in S that attacks b.
Definition. A set of arguments S is admissible, if S is conflict-free and defends each of its elements.
Lemma. If S is admissible and S defends a, then S∪{a} is admissible.
读书会具体形式
每次活动时长为2小时。第一个小时为学生报告，报告文章的内容。第二个小时为讨论时间，每个人发表自己对文章的看法。哲学学院廖备水教授参与讨论，博士后陈锦盛主持。
联系人
陈锦盛
jinshengchen@zju.edu.cn
时间地点
秋冬学期每周五下午两点到四点（具体见下表）
紫金港校区蒙民伟楼307
阅读材料
书籍
1. Baroni, P., Gabbay, D., Giacomin, M., & Van der Torre, L. (2018). Handbook of formal argumentation. (参考)
2. Gabbay, D. M., Giacomin, M., Simari, G. R., & Thimm, M. (2021). Journal of Applied Logics: Special Issue on Formal argumentation. (部分)
3. Rahwan, I., & Simari, G. R. (Eds.). (2009). Argumentation in artificial intelligence (Vol. 47). Heidelberg: Springer. (部分)
文献
1. Amgoud, L. (2012, July). Five weaknesses of ASPIC+. In International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (pp. 122-131). Springer, Berlin, Heidelberg.
2. Modgil, S. (2009). Reasoning about preferences in argumentation frameworks. Artificial intelligence, 173(9-10), 901-934.
3. Modgil, S., & Prakken, H. (2013). A general account of argumentation with preferences. Artificial Intelligence, 195, 361-397.
4. Verheij, B. (2012). Clarifying some misconceptions on the ASPIC+ framework. Computational Models of Argument: Proceedings of COMMA 2012, 245, 442.
日程安排
日期 | 阅读材料 |
9月16日 | Semantics of Abstract Argument Systems (书籍3) |
9月23日 | Abstract Argumentation and Values (书籍3) |
9月30日 | Bipolar abstract argumentation systems (书籍3) |
10月14日 | Complexity of Abstract Argumentation (书籍3) |
10月21日 | Proof Theories and Algorithms for Abstract Argumentation Frameworks (书籍3) |
10月28日 | Argumentation Based on Classical Logic (书籍3) |
11月4日 | 期中考放假 |
11月11日 | Argument-based Logic Programming (书籍3) |
11月18日 | A Recursive Semantics for Defeasible Reasoning (书籍3) |
11月25日 | Assumption-Based Argumentation (书籍3) |
12月2日 | A general account of argumentation with preferences (文献3) |
12月9日 | weakness on ASPIC+ & Responses (文献1,4) |
12月16日 | Reasoning about Preferences in Argumentation Frameworks (文献2) |
12月23日 | On the Incremental Computation of |
Semantics in Dynamic Argumentation (书籍2) | |
12月30日 | 期末考放假 |
编辑 | 郭航宇
责任编辑 | 陈舒舒